символ дизъюнкции

См. также в других словарях:

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… …   Философская энциклопедия

• История математических обозначений — Математические обозначения  это символы, используемые для компактной записи математических уравнений и формул[1]. Помимо цифр и букв различных алфавитов (латинского, в том числе в готическом начертании, греческого и еврейского),… …   Википедия

• ЗНАК —         материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… …   Философская энциклопедия

• символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, выска зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже… …   Словарь терминов логики

• ПИРС — (Peirce) Чарльз Сандерс (1839 1914) амер. философ и ученый, основатель прагматизма. Род. и бoльшую часть жизни провел в г. Кембридже (шт. Массачусетс). Время от времени читал курсы лекций в Гарварде и ун те Джонса Хопкинса. Он публиковал в… …   Философская энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• Тогда и только тогда — Запрос «If and only if» перенаправляется сюда; другие значения см. IFF (значения). ↔ ⇔ ≡ Логические символы, изобра жающие тогда и только тогда. В логике и смежных с ней областях, таких как математика и философия, тогда и только тогда является… …   Википедия

• ВЕРА — глубинная общечеловеческая универсалия культуры, фиксирующая комплексный феномен индивидуального и массового сознания, включающий в себя такие аспекты, как гносеологический (принятие в качестве истинного тезиса, не доказанного с достоверностью… …   Новейший философский словарь

• Понятие — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Понятие  отображённое в мышлении единство существенных свойств, связей и отношен …   Википедия

• Сложение по модулю 2 — Рис. 1 График побитового исключающего «или» Сложение по модулю 2 (логическое сложение, исключающее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент)  булева функция, а также …   Википедия